空降兵装备发展仿真实验研究

开展空降兵装备发展仿真实验研究,是促进空降兵装备快速发展的有效途径。提出了空降兵装备发展实验研究体系结构,在此基础上,重点对仿真实验研究的技术框架和模型体系的柔性设计进行了分析与研究,并对发展需求论证环境和作战运用研究环境的部署与运行方式进行了阐述,旨在为空降兵装备发展仿真实验研究的顶层设计及具体实现提供参考。     

基于PEPA的舰艇编队防空过程建模及分析

防空作战是大型水面舰艇编队的主要作战样式之一。本文运用PEPA（性能评价过程代数）方法对舰艇编队防空作战全过程进行有效建模,形式化描述了预警探测、情报传递、命令下达、防空拦截等作战主要过程。建立的PEPA模型具有层次化结构,考虑了要素间相互协作,体现了编队防空作战分布、并发的特点。通过对建立的PEPA模型进行性能指标选择和稳定状态分析,得到了不同因素对编队能力发挥的影响情况,获得了防空作战的基本要素组成。从而提供了一种解决舰艇编队问题的新方法。     

舰船编队组网作战数据分析平台的设计与实现

舰艇编队网络化作战是基于网络中心战理论形成的未来海战的主要方式。在未来舰船编队防空网络化作战的大应用背景上,提出了一套能够对舰船编队网络作战过程记录数据进行分析和处理的数据分析平台设计方法。该平台能够自动化的读取舰船编队作战记录数据,对网络化作战过程进行提取和解析,对目标指示、目标融合等组网作战功能进行分析,并将分析结果以适当的形式呈现,供设计师及作战部队对网络化作战性能流程和功能的分析和验证,能够快速有效的通过分析记录数据查找和解决问题。     

舰艇编队协同作战的空中目标威胁评估研究

从系统分析舰艇编队协同作战的空中目标威胁评估问题入手,深入研究了协同作战环境下编队空中目标威胁评估的基本过程。在此基础上,针对编队协同决策的特点,建立了基于两层决策的协同作战环境下编队空中目标威胁评估模型,从而提出了舰艇编队协同作战的空中目标威胁评估方法。最后,通过实例说明了所提方法的有效性。     

多属性决策(MADM)在防空C~3I系统效能评估中的应用研究

介绍了防空C3I系统效能的定义及效能评估的一般处理过程。通过专家群组决策确定效能指标体系 ,针对效能指标的多样性 ,提出了基于多属性决策 (MADM )的效能评估方法 ,并通过一个示例给出MADM方法的处理过程 ,有效地解决了防空C3I系统效能评估这一复杂而困难的问题。     

内外干扰因素对液体火箭发动机的影响分析

在已有的液体火箭发动机稳态工况的非线性数学模型基础上,计算分析了单干扰因素对液体火箭发动机参数的影响,用非线性方法和小偏差方法对比分析了两个干扰因素分别和共同对发动机参数的影响。所得结论可用于泵压式燃气发生器循环的液体火箭发动机试验结果分析、可靠性及故障分析,也揭示了此类发动机参数随各种干扰因素的变化规律     

分布式 Client/Server 智能应用系统 DIAS 的设计与实现

本文针对油气田储集层保护的复杂应用需求,基于分布式Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算机模型,设计了相应的分布式智能应用系统ＤＩＡＳ,实现了计算资源共事和知识、数据共享。该系统已在实际应用中取得了良好的效益。     

98海湾危机回顾及几点启示

比较全面地叙述了９８海湾危机的成因,英美两国兵力集结情况,重点分析了兵力集结过程中所出现的特点,最后给出了所带来的启示。     

Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。